Received: from virtual.bbc.co.uk (virtual.bbc.co.uk [132.185.132.199])
by odie.barnet.ac.uk (8.8.6/8.8.6) with ESMTP id CAA19507
for <willy@odie.barnet.ac.uk>; Mon, 25 May 1998 02:17:43 +0100
Received: from nic.funet.fi (nic.funet.fi [128.214.248.6])
by virtual.bbc.co.uk (8.8.5/8.8.5) with ESMTP id CAA12699
for <willy@bofh.ai>; Mon, 25 May 1998 02:17:43 +0100 (BST)
Received: from vger.rutgers.edu ([128.6.190.2]:37460 "EHLO vger.rutgers.edu" ident: "root") by nic.funet.fi with ESMTP id <10364-503>; Mon, 25 May 1998 04:17:35 +0300
Received: by vger.rutgers.edu id <971074-31161>; Sun, 24 May 1998 20:43:33 -0400
Received: from tazenda.demon.co.uk ([158.152.220.239]:1138 "HELO kings-cross.london.uk.eu.org" ident: "exim") by vger.rutgers.edu with SMTP id <970982-31161>; Sun, 24 May 1998 20:43:15 -0400
Received: from kings-cross.london.uk.eu.org [127.0.0.1] (phil)
by kings-cross.london.uk.eu.org with esmtp (Exim 1.71 #1)
id 0ydlUE-0004h0-00; Mon, 25 May 1998 01:51:34 +0100
X-Mailer: exmh version 2.0zeta 7/24/97
To: "Neil A. Carson" <neil@causality.com>
cc: aem@netcom.ca, linux-arm@vger.rutgers.edu
Subject: Re: FPU Emulator
In-reply-to: Your message of "Mon, 25 May 1998 00:51:54 BST."